The Production Cell: A Verified Real-Time System
نویسنده
چکیده
This paper applies and reenes the ProCoS approach to trans-formational design of real-time systems to a benchmark case study, the Karlsruhe production cell 10, 9]. We start by formalizing the informal requirements of 10, 9] in Duration Calculus and end with a distributed controller architecture where all components are speciied in the program speciication language SL time 18]. Novel is the full treatment of hybrid system components in a parametric and thus reusable way.
منابع مشابه
Reduction of production disturbances of a shoemaking industry through a discrete event simulation approach
This study presents a reduction of production disturbances of a shoemaking industry through discrete event simulation approach. The study is conducted at Peacock Shoe factory found in Addis Ababa, Ethiopia. This factory faces line balancing problem that becomes production disturbance for its assembly lines. Detail time study is carried out for the selected shoe model using stopwatch. Assembly ...
متن کاملInteger-order Versus Fractional-order Adaptive Fuzzy Control of Electrically Driven Robots with Elastic Joints
Real-time robust adaptive fuzzy fractional-order control of electrically driven flexible-joint robots has been addressed in this paper. Two important practical situations have been considered: the fact that robot actuators have limited voltage, and the fact that current signals are contaminated with noise. Through of a novel voltage-based fractional order control for an integer-order dynamical ...
متن کاملA Robust Model for a Dynamic Cellular Manufacturing System with Production Planning
In this paper, a robust optimization approach is proposed to design a dynamic cellular manufacturing system (DCMS) under uncertainty of processing time of products. In addition, a mathematical model considering cell formation, inter-cell design and production planning under a dynamic environment (i.e., product mix and demand are changed in each period) is presented. Therefore, reconfiguration b...
متن کاملAbsolute quantification of murine interleukine-4, interleukine- 10 and interferon-γ gene transcripts using Real Time PCR
The study of cytokines gene expression is quite important in various conditions of health and disease for the evaluation of clinical responses to new vaccination approaches. An absolute quantification is based on a calibration curve and production of standard controls to achieve more reliable results than in relative system. In this study we attempted to construct standard controls to evaluate ...
متن کاملانتقال سازه ژن درمانی توسط نانوذرات پلی پلکسی (نوع پلی اتیلن ایمینی هدفمندشده) به سلولهای سرطانی روده بزرگ
Background and Objectives: The aim of this study was preparation of polyethyleneimine (PEI) nanoparticles targeted with anti-TAG72 nanobody for delivery of t-Bid gene construct into the human colonic adenocarcinoma cells. Materials and Methods: First of all, purified recombinant nanobody was verified by SDS-PAGE, western blotting and ELISA. Targeted polyplexes were constructed by reacting ...
متن کاملEvaluation of Kohlrabi (Brassica oleracea var. Gongylodes) extract effect on mesenchymal stem cell viability and apoptosis
Background: Cell viability and apoptosis are two crucial factors that may determine cell fate. There are several factors, such as hypoxia, which may be effective in cell processes. Because of its unique features, such as its antioxidant, anti-inflammatory, and anti-apoptosis mechanisms, kohlrabi (Brassica oleracea var. gongylodes) extract may be used in the amelioration of cell viability and a ...
متن کامل